Unifying Constructive and Nonstandard Analysis
نویسنده
چکیده
منابع مشابه
Algorithm and proof as Ω-invariance and transfer: A new model of computation in nonstandard analysis
We propose a new model of computation based on Nonstandard Analysis. Intuitively, the role of ‘algorithm’ is played by a new notion of finite procedure, called Ω-invariance and inspired by physics, from Nonstandard Analysis. Moreover, the role of ‘proof’ is taken up by the Transfer Principle from Nonstandard Analysis. We obtain a number of results in Constructive Reverse Mathematics to illustra...
متن کاملA nonstandard proof of a lemma from constructive measure theory
The conceptual gulf between constructive analysis (in the sense of Bishop [1]) and nonstandard analysis (in the sense of Robinson [7]) is vast, despite the historical genesis of both methodologies from foundational considerations. Those who use nonstandard arguments often say of their proofs that they are “constructive modulo an ultrafilter”; implicit in this statement is the suggestion that su...
متن کاملRemarks on a Constructive Sheaf Model of Nonstandard Analysis
The sheaves over the category of lters, with a joint cover topology, serve as a universe of sets where nonstandard analysis can be developed along constructive principles. In this paper we show that all functions between internal sets in this model are internal. We also illustrate how this model can be used by giving a constructive nonstandard proof of the Implicit Function Theorem.
متن کاملConstructive Nonstandard Representations of Generalized Functions
Using techniques of nonstandard analysis Abraham Robinson showed that it is possible to represent each Schwartz distribution T as an integral T () = R f, where f is some nonstandard smooth function. We show that the theory based on this representation can be developed within a constructive setting.
متن کاملTo Be or Not to Be Constructive That Is Not the Question
In the early twentieth century, L.E.J. Brouwer pioneered a new philosophy of mathematics, called intuitionism. Intuitionism was revolutionary in many respects but stands out -mathematically speakingfor its challenge of Hilbert’s formalist philosophy of mathematics and rejection of the law of excluded middle from the ‘classical’ logic used in mainstream mathematics. Out of intuitionism grew intu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999